221. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
222. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده :
موضوع : ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
223. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author: / D.H. Pitt ... (et al.) (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computer science - Congresses,Categories (Mathematics) - Congresses
Classification :
QA75
.
5
.
S86
1991
224. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
530
225. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
Author: Eugenio Moggi, Giuseppe Rosolini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
1290
226. Category theory for computing science /
Author: Michael Barr, Charles Wells
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computer science-- Mathematics
Classification :
QA76
.
9
.
M35
B37
1990
227. Cell Formation in Industrial Engineerin
Author: / by Boris Goldengorin, Dmitry Krushinsky, Panos M. Pardalos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Electronic books
Classification :
E-BOOK
228. Cellular Automata and Discrete Complex Systems
Author: \ [Edited by] Teijiro Isokawa...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشینهای خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
267
.
5
.
C45
2015
E-Book
,
229. Cellular Automata and Discrete Complex Systems
Author: \ Jarkko Kari (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشینهای خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
267
.
5
.
C45
2015
E-Book
,
230. Cellular automata and discrete complex systems :
Author: Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
Classification :
QA267
.
5
.
C45
231. Cellular automata and discrete complex systems :
Author: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
Classification :
QA267
.
5
.
C45
232. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
233. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
234. Classification Theory of Algebraic Varieties and Compact Complex Spaces
Author: by K. Ueno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science, general.,Computer science.,Mathematics.
Classification :
QA3
.
B958
1975
235. Coalgebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
236. Coalgebraic methods in computer science
Author: Dirk Pattinson, Lutz Schröder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
W67
2012eb
237. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
238. Coding the matrix :
Author: Philip N. Klein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Álgebra lineal.,Algebras, Linear.,Computer science -- Mathematics.
Classification :
QA184
.
2
P455
9999
239. Collegium Logicum.
Author: Kurt Gödel Society.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Mathematics.
240. Combinatorial Algorithms
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science
